export type AssertType<A, B> = A extends B ? true : never;